category theory artinya
- category: kategori; kumpulan; bantuan:kategori; golongan;
- theory: teori; hipotesis; asumsi; perkiraan
- monad (category theory): monad (teori kategori)
Contoh
- Two of the most highly abstract areas of modern mathematics are category theory and model theory.
Dua wilayah paling abstrak dari matematika modern adalah teori kategori dan teori model. - Category theory, which deals in an abstract way with mathematical structures and relationships between them, is still in development.
Teori kategori berhubungan dengan struktur matematika dan hubungan antar struktur tersebut secara abstrak. - Category theory is one area of mathematics dedicated to exploring this commonality of structure as it plays out in some areas of math.
Teori kategori merupakan bidang matematika yang didedikasikan untuk menjelajahi kesamaan struktur ini seperti dibeberapa bidang matematika. - For example, in category theory, a category is said to be connected if each pair of objects in it is joined by a sequence of morphisms.
Misalnya, dalam teori kategori, sebuah kategori disebut terhubung jika setiap pasangan obyek dapat dihubungkan dengan deretan morfisme. - Modern logic is divided into recursion theory, model theory, and proof theory, and is closely linked to theoretical computer science, as well as to category theory.
Logika modern dibagi ke dalam teori rekursi, teori model, teori pembuktian terpaut dekat dengan ilmu komputer teoretis.
